function selectText(element)
{
	if(Ext.isGecko || Ext.isOpera)
	{
		var selection = window.getSelection();
		var range = document.createRange();
		range.selectNodeContents(element);
		selection.removeAllRanges();
		selection.addRange(range);
	}
	else if(Ext.isIE)
	{
		var range = document.body.createTextRange();
		range.moveToElementText(element);
		range.select();
		range.execCommand('Copy');
	}
	else if(Ext.isSafari)
	{
		var selection = window.getSelection();
		selection.setBaseAndExtent(element, 0, element, 1);
	}
}